1. Formal methods in standards : a report from the BCS Working Group
پدیدآورنده : C.L.N. Ruggles, )ed.( ; principal contributors, Derek Andrews ... )et. al.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Electronic data processing - Standards - Great Britain
رده :
QA
.
S8F67
76
.
9
1990
